The inverse of an incomplete elliptic integral of the first kind in Legendre normal form defines the Jacobi elliptic sine. The corresponding inverse of an incomplete elliptic integral of the second kind does not define a known special function: even Wolfram is looking for such an inverse. This presentation will develop expansions for both kinds of incomplete integrals in closed form using partial Bell polynomials, providing rather compact forms for both inverse integrals.
The incomplete integrals of the first and second kind in Legendre normal form will be denoted
Both integrals can be explicitly evaluated in terms of Appell functions, which are hypergeometric functions of two arguments. The evaluation requires a generalization of the binomial formula to arbitrary exponents,
and proceeds as follows:
An independent variable for the inversion has been included in the final equality. The only difference between the two cases is a negative sign on the third argument.
These integrals can be inverted with Lagrange inversion: for a function
Since both integrals are zero at the origin, the expansion about that center simplifies to
The inverse power of the Appell functions can be expressed using partial Bell polynomials. They are defined by the generating function
The coefficients appearing in the partial polynomials can be evaluated by expansion of the generating function and collection of terms. They can be more efficiently generated recursively with the relation
The first few nonzero explicit forms are
While the partial polynomials are not trivial to generate from scratch, they are known mathematical entities that can be used to express the expansions desired in compact forms.
Partial Bell polynomials are useful in this context because they describe function composition: given two functions expressed as power series,
the composite function can be expressed as
Partial Bell polynomials are essentially a bookkeeping method for tracking the combinations appearing in an arbitrary power of an infinite series. The exact same coefficients appear when taking multiple derivatives of a composite function, so that an arbitrary derivative of the composite function
Setting and , the summation for the Appell functions can be written
and one can then take
The expansion of the inverse power is
so that for the second part of the composition one can take
The composite functions can now be expressed compactly with partial Bell polynomials:
The multiple derivative is easily evaluated:
The limit is now trivial: merely picking out terms for which
Application of this restriction to the coefficients can be captured by adding an additional index to these coefficients.
A complete expansion about the origin for both cases can thus be expressed as
It is now straightforward to evaluate the first few terms of this series in Mathematica or the like. Taking the upper signs this gives
which precisely matches the expansion of the Jacobi elliptic sine about the origin. Since as stated at the outset this function inverts the elliptic integral of the first kind, the match confirms the accuracy of the method. That means that taking lower signs will give the first few terms of the inverse of the elliptic integral of the second kind:
The numerical coefficients of each polynomial in m are symmetric for the inverse elliptic integral of the first kind, but not for that of the second kind.
In summary, the inverse of an incomplete elliptic integral of the first kind can be expressed compactly as
while the inverse of the incomplete integral of the second kind can be expressed compactly as
The radii of convergence for these series will be controlled by the singularities of the Appell functions. Since these functions converge as long as both arguments of the independent variable are less than unity, a rough estimate for the radii of convergence can be taken to be .
These expressions appear to be more compact and concise than available existing expansions. They can be evaluated numerically by any library that handles partial Bell polynomials, such as Math.
Interested, Wolfram?
Uploaded 2019.05.27 — Updated 2019.05.29 analyticphysics.com